how does arithmetic operator work in prolog